Shank3<tm1.2Yhj> Null/knockout Shank3<deltaex4-22> targeted mutation 1.2, Yong-hui Jiang MGI:5800311 http://identifiers.org/mgd/MGI:5800311